Specifying Components for Checking Interoperability
Identifieur interne : 006888 ( Main/Exploration ); précédent : 006887; suivant : 006889Specifying Components for Checking Interoperability
Auteurs : Maritta Heisel ; Jeanine SouquièresSource :
English descriptors
- KwdEn :
Abstract
We present a way of specifying software components that is suitable for checking their interoperability. Our specification approach is independent of concrete specification languages. It stresses the necessity of equipping each component interface with a suitable data model. That data model defines all types occurring in the signature of interface operations. Moreover, pre- and postconditions have to be given for all interface operations. Finally, the order in which the interface operations may be invoked must be specified. A notion of compatibility -- which is based on specification matching -- makes it possible to check if two components can interoperate or not.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003F42
- to stream Crin, to step Curation: 003F42
- to stream Crin, to step Checkpoint: 000716
- to stream Main, to step Merge: 006B91
- to stream Main, to step Curation: 006888
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="388">Specifying Components for Checking Interoperability</title></titleStmt><publicationStmt><idno type="RBID">CRIN:heisel04c</idno><date when="2004" year="2004">2004</date><idno type="wicri:Area/Crin/Corpus">003F42</idno><idno type="wicri:Area/Crin/Curation">003F42</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003F42</idno><idno type="wicri:Area/Crin/Checkpoint">000716</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000716</idno><idno type="wicri:Area/Main/Merge">006B91</idno><idno type="wicri:Area/Main/Curation">006888</idno><idno type="wicri:Area/Main/Exploration">006888</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Specifying Components for Checking Interoperability</title><author><name sortKey="Heisel, Maritta" sort="Heisel, Maritta" uniqKey="Heisel M" first="Maritta" last="Heisel">Maritta Heisel</name></author><author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>components</term><term>formalisation</term><term>interoperability</term><term>specification</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="2846">We present a way of specifying software components that is suitable for checking their interoperability. Our specification approach is independent of concrete specification languages. It stresses the necessity of equipping each component interface with a suitable data model. That data model defines all types occurring in the signature of interface operations. Moreover, pre- and postconditions have to be given for all interface operations. Finally, the order in which the interface operations may be invoked must be specified. A notion of compatibility -- which is based on specification matching -- makes it possible to check if two components can interoperate or not.</div></front></TEI><affiliations><list></list><tree><noCountry><name sortKey="Heisel, Maritta" sort="Heisel, Maritta" uniqKey="Heisel M" first="Maritta" last="Heisel">Maritta Heisel</name><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name></noCountry></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006888 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 006888 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= CRIN:heisel04c
|texte= Specifying Components for Checking Interoperability
}}
| This area was generated with Dilib version V0.6.33. |  |